零常返, 令 , 则 是相通的常返闭集, 且 为有限集.

于是由定理 3.4.4, 有 , 与定理 3.5.1 矛盾, 从而得证.